Mathematical logic and programming languages
- Författare
- (Edited by C.A.R. Hoare and J.C. Shepherdson.)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Prentice-Hall | cop. 1985 | USA, Englewood Cliffs | 184 sidor. |